(texinfodir): Rename from usermanualdir, and update.
authorGlenn Morris <rgm@gnu.org>
Thu, 9 Jul 2009 02:48:33 +0000 (02:48 +0000)
committerGlenn Morris <rgm@gnu.org>
Thu, 9 Jul 2009 02:48:33 +0000 (02:48 +0000)
commita338be37cf0c73ff2d96e399484642e01129d1f9
tree80e61118e7beb82ebc9f5790997c20fff7f131f5
parentca6d3dbcec15ace0a99f4e65775d38b0bfb4dff1
(texinfodir): Rename from usermanualdir, and update.
doc/lispintro/ChangeLog
doc/lispintro/Makefile.in